<?php

	function createFileName($uid) {
		$date = getDate();
		return $uid . '_' . $date['year'] . $date['mon'] . $date['mday'] . '_' . $date['hours'] . $date['minutes'] . $date['seconds'] . '.html';
	}
?>